Hints to Speciiers

I present a list of hints for writing speci cations I address high level issues like learning to abstract and low level issues like getting the details of logical expressions right This paper should be of interest not only to students of formal methods but also to their teachers This research is sponsored by the Wright Laboratory Aeronautical Systems Center Air Force Materiel Com mand USAF and the Advanced Research Projects Agency ARPA under grant number F Views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing o cial policies or endorsements either expressed or implied of Wright Laboratory or the United States Government